The temporal logic of reactive and concurrent systems - specification
نویسندگان
چکیده
Bring home now the book enPDFd the temporal logic of reactive and concurrent systems specification to be your sources when going to read. It can be your new collection to not only display in your racks but also be the one that can help you fining the best sources. As in common, book is the window to get in the world and you can open the world easily. These wise words are really familiar with you, isn't it?
منابع مشابه
Concurrent METATEM - A Language for Modelling Reactive Systems
In this paper, a language based on the notion of concurrent, communicating objects is presented. Each object executes a specification given in temporal logic and communicates with other objects using asynchronousbroadcast message-passing. In contrast to the notions of predicates as processes and stream parallelism seen in concurrent logic languages, Concurrent METATEM represents a more course-g...
متن کاملCompleteness Results for Two-sorted Metric Temporal Logics
1 I n t r o d u c t i o n Logic-based methods for representing and reasoning about temporal information have proved to be highly beneficial in the area of formal specifications. In this paper we consider their application to the specification of real-t ime systems. Timing properties play a major role in the specification of reactive and concurrent software systems that operate in real-time. The...
متن کاملTemporal Specification of Information Systems ⋆
Information systems are open, reactive, and often distributed systems that maintain persistent data. The Troll and omTroll languages aim at specifying information systems on a high level of abstraction, supported by tools integrated in the Tbench. The development is rooted in abstract data types, conceptual modeling, behavior modeling, specification of reactive systems, and concurrency theory. ...
متن کاملA Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Reactive Modules is a high-level specification language for concurrent and multi-agent systems, used in a number of practical model checking tools. Reactive Modules Games is a game-theoretic extension of Reactive Modules, in which concurrent agents in the system are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. The basic analy...
متن کاملModel Checking TLA+ Specifications
TLA is a specification language for concurrent and reactive systems that combines the temporal logic TLA with full first-order logic and ZF set theory. TLC is a new model checker for debugging a TLA specification by checking invariance properties of a finite-state model of the specification. It accepts a subclass of TLA specifications that should include most descriptions of real system designs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992